ALGEBRAIC CONSERVATIVE PETRI NETS BASED ON SYMMETRIC GROUPS
نویسندگان
چکیده
منابع مشابه
Symmetric Stochastic Petri Nets
The stochastic Petri net (SPN) model is well suited to formal representation of concurrency, synchronization, and communication. In this paper we focus on discrete event simulation methods for SPN models with special structure and define a symmetric SPN. Exploiting properties of a symmetric SPN and underlying regenerative process structure, we establish steady state estimation procedures based ...
متن کاملOn the Algebraic Structure of Petri Nets
An extremely successful line of research in the semantics of concurrency, rooted in the very ideas of denotational semantics, is the one following the algebraic approach. It focuses on structural and compositional aspects of systems and behaviours, and the leading idea is to describe them by means of a few basic building blocks and a small number of combinators [39, 62, 38, 64]. The appeal of t...
متن کاملBranching Processes of Conservative Nested Petri Nets
Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the “nets-within-nets” approach, when tokens in a marking are themselves Petri nets which have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with a dynamic structure in a natural way. In this paper we define branching processes and un...
متن کاملAlgebraic System Analysis of Timed Petri Nets
We show that Continuous Timed Petri Nets (CTPN) can be modeled by generalized polynomial recurrent equations in the (min,+) semiring. We establish a correspondence between CTPN and Markov decision processes. We survey the basic system theoretical results available: behavioral (inputoutput) properties, algebraic representations, asymptotic regime. A particular attention is paid to the subclass o...
متن کاملComputation of Invariants for Algebraic Petri Nets
Abstract In the first part of this article we discuss the definition of Pand T–invariants for algebraic Petri nets. Thereby we stress the strong relation of these concepts with those for colored Petri nets. This part contains furthermore a comparison with the concepts defined in [Rei91], where first algebraic nets, invariant concepts and the main theorems concerning invariants have been present...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Information Sciences and Computing
سال: 2008
ISSN: 0973-9092
DOI: 10.18000/ijisac.50029